Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
51	¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-11-26 15:35:09 Mathematical logic Logic Mathematics Model theory Predicate logic Automated theorem proving Logic programming Substitution First-order logic Normal distribution Structure Axiom of extensionality
52	Applied Ontology–0 IOS Press 1 Vague size predicates Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:04:47 Logic Mathematical logic Mathematics Predicate logic Grammar Model theory Formal languages First-order logic Predicate FO Argument Resolution
53	A temporal mereology for distinguishing between integral objects and portions of stuff Thomas Bittner1,2,3,4 and Maureen Donnelly1,3 3 1 Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2007-05-05 14:40:28 Philosophy Logic Ontology Metaphysics Predicate logic Mereology Mathematical logic Temporal parts Simple First-order logic Lemonade Integral
54	ENGLISH FOR INTERNATIONAL STUDENTS UNIT KIBBITZER 33 By contrast etc. Add to Reading List Source URL: www.lexically.net Language: English - Date: 2011-03-23 16:21:56 Logic Cytoskeleton Propositions Predicate logic Microtubule Anatomy Sentence Universal quantification Virus Contrast
55	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
56	Generating Quantifiers and Negation to Explain Homework Testing Jason Perry and Chung-chieh Shan Rutgers University Department of Computer Science Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2012-03-01 10:11:23 Logic Grammar Linguistics Semantics Syntax Predicate logic Grammatical Framework Logical Form Quantifier Parsing Phrase structure rules Categorial grammar
57	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
58	Constraint Satisfaction with Counting Quantifiers⋆ Florent Madelaine1 , Barnaby Martin2⋆⋆ and Juraj Stacho3⋆ ⋆ ⋆ 2 Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2012-03-15 13:21:54 Computational complexity theory Logic Complexity classes Abstraction Metalogic Predicate logic Finite model theory IP FO Quantifier PSPACE-complete Model theory
59	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 167–194 http://www.cssp.cnrs.fr/eiss8 Reambiguating: on the non-monotonicity Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:22 Syntax Logic Linguistics Semantics Logic in computer science Predicate logic Grammar Event calculus Logic programming Predicate Anaphora First-order logic
60	logical verificationexercises 2 Exercise 1. This exercise is concerned with dependent types. We use the following definition in Coq: Inductive natlist_dep : nat -> Set := \| nil_dep : natlist_dep 0 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-02 08:06:23 Logic Mathematical logic Mathematics Type theory Propositional calculus Syntax Predicate logic CurryHoward correspondence Dependent type Lambda calculus First-order logic Proposition